Set-Based Analysis for Full Scheme and Its Use in Soft-Typing
نویسندگان
چکیده
Set Based Analysis is an e cient and accurate program analysis for higher order lan guages It exploits an intuitive notion of approximation that treats program variables as sets of values We present a new derivation of set based analysis based on a reduc tion semantics that substantially simpli es previous formulations Most importantly the derivation easily extends from a functional core language to include imperative features such as assignments and rst class continuations and supports the rst cor rectness proof of set based analysis for these imperative features The paper includes an implementation of the derived analysis for a Scheme like language and describes a soft typing algorithm that eliminates type checks based on the information produced by the analysis Supported in part by NSF grant CCR and a sabbatical at Carnegie Mellon University
منابع مشابه
Lattice of full soft Lie algebra
In this paper, we study the relation between the soft sets and soft Lie algebras with the lattice theory. We introduce the concepts of the lattice of soft sets, full soft sets and soft Lie algebras and next, we verify some properties of them. We prove that the lattice of the soft sets on a fixed parameter set is isomorphic to the power set of a ...
متن کاملLakshman. Soft Typing with Conditional Types. Consider a Constraint of the Form
practical soft type system for scheme. In Proc. understood as formal tools for reasoning about the source programs. As such they neither give a clear speciication (such as a type system) to a programmer of what they are doing, nor do they give much feedback to a user trying to debug his or her program. Our approach is based on a formal type system for a dynamically typed language. As such it is...
متن کاملModel Predictive Control of Distributed Energy Resources with Predictive Set-Points for Grid-Connected Operation
This paper proposes an MPC - based (model predictive control) scheme to control active and reactive powers of DERs (distributed energy resources) in a grid - connected mode (either through a bus with its associated loads as a PCC (point of common coupling) or an MG (micro - grid)). DER may be a DG (distributed generation) or an ESS (energy storage system). In the proposed scheme, the set - poin...
متن کاملComputationally secure multiple secret sharing: models, schemes, and formal security analysis
A multi-secret sharing scheme (MSS) allows a dealer to share multiple secrets among a set of participants. in such a way a multi-secret sharing scheme (MSS) allows a dealer to share multiple secrets among a set of participants, such that any authorized subset of participants can reconstruct the secrets. Up to now, existing MSSs either require too long shares for participants to be perfect secur...
متن کاملA Soft-Input Soft-Output Target Detection Algorithm for Passive Radar
Abstract: This paper proposes a novel scheme for multi-static passive radar processing, based on soft-input soft-output processing and Bayesian sparse estimation. In this scheme, each receiver estimates the probability of target presence based on its received signal and the prior information received from a central processor. The resulting posterior target probabilities are transmitted to the c...
متن کامل